-
1 ламбда-оператор
-
2 оператор абстракции
Русско-английский научно-технический словарь Масловского > оператор абстракции
-
3 лямбда-оператор
abstraction operator, lambda operatorРусско-английский научно-технический словарь Масловского > лямбда-оператор
-
4 лямбда-оператор
1) Mathematics: lambda operator2) Linguistics: abstraction- operator, binder -
5 оператор абстракции
Mathematics: abstraction operatorУниверсальный русско-английский словарь > оператор абстракции
См. также в других словарях:
Abstraction inversion — In computer programming, abstraction inversion is an anti pattern arising when users of a construct need functions implemented within it but not exposed by its interface. The result is that the users re implement the required functions in terms… … Wikipedia
Predicate abstraction — In logic, predicate abstraction is the result of creating a predicate from an open sentence. If Q(x) is any formula with x free then the predicate formed from that sentence is (λx.Q(x)), where λ is an abstraction operator. The resultant predicate … Wikipedia
Closure operator — In mathematics, a closure operator on a set S is a function cl: P(S) → P(S) from the power set of S to itself which satisfies the following conditions for all sets X,Y ⊆ S. X ⊆ cl(X) (cl is extensive) X ⊆ Y implies cl(X) ⊆ cl(Y) (cl… … Wikipedia
Carry operator — The carry operator, symbolized by the ¢ sign, is an abstraction of the operation of determining whether a portion of an adder network generates or propagates a carry. It is defined as follows: ¢ External links… … Wikipedia
Algebra of Communicating Processes — The Algebra of Communicating Processes (ACP) is an algebraic approach to reasoning about concurrent systems. It is a member of the family of mathematical theories of concurrency known as process algebras or process calculi. ACP was initially… … Wikipedia
Lambda calculus — In mathematical logic and computer science, lambda calculus, also written as λ calculus, is a formal system designed to investigate function definition, function application and recursion. It was introduced by Alonzo Church and Stephen Cole… … Wikipedia
Curry's paradox — For Paul Curry s optical illusion and dissection puzzle, see Missing square puzzle. Curry s paradox is a paradox that occurs in naive set theory or naive logics, and allows the derivation of an arbitrary sentence from a self referring sentence… … Wikipedia
Ecological interface design — (EID) is an approach to interface design that was introduced specifically for complex sociotechnical, real time, and dynamic systems. It has been applied in a variety of domains including process control (e.g. nuclear power plants, petrochemical… … Wikipedia
C++ — The C++ Programming Language, written by its architect, is the seminal book on the language. Paradigm(s) Multi paradigm:[1] procedural … Wikipedia
Common Lisp — Paradigm(s) Multi paradigm: procedural, functional, object oriented, meta, reflective, generic Appeared in 1984, 1994 for ANSI Common Lisp Developer ANSI X3J13 committee Typing discipline … Wikipedia
Monad (functional programming) — In functional programming, a monad is a programming structure that represents computations. Monads are a kind of abstract data type constructor that encapsulate program logic instead of data in the domain model. A defined monad allows the… … Wikipedia